total workforce